Auto-commit of info/dir files.
authorGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 03:41:26 +0000 (22:41 -0500)
committerGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 03:41:26 +0000 (22:41 -0500)
commitf2ca804f66f2b99cd77ebdd99fe20b06daa6b964
treeaf043a744e55f3913cbadec9ac765f95dfeec039
parent4435c0ee9db2df871741c6e8df3fe62bae7d80cf
Auto-commit of info/dir files.
info/dir